# example.pyi
def add(a: int, b: int) -> int: ...
def greet(name: str) -> str: ...